//
// Some misc. colour definitions that I have not categorised
//
$top_hilight: $borders_edge;
$dark_fill: mix($borders_color, $bg_color, 50%);
